.regexbox {
	max-width: 80%;
	min-width: 500px;
}

.regexbox > * {
	font-size: 200%;
	text-align: center;
}

.regexbox > tt {
	text-align: left;
}

span.structure {
	margin: 2pt;
  display: inline-block;
	background-color: white;
}

span > span.tooltip {
	display: none;
	padding: 2px 3px;
	margin-top: 2.5em;
	margin-left: 0.5em;
	font-size: 50%;
	font-family: sans-serif;
}

span:hover > span.tooltip {
	display: inline;
	position: absolute;
	background: #FFC;
	border: 1px solid #CCC;
	color: #000;
}

.color0 { background-color: #F33 !important; }
.color1 { background-color: #F63 !important; }
.color2 { background-color: #F93 !important; }
.color3 { background-color: #FC3 !important; }
.color4 { background-color: #FF3 !important; }
.color5 { background-color: #CF3 !important; }
.color6 { background-color: #9F3 !important; }
.color7 { background-color: #6F3 !important; }
.color8 { background-color: #3F3 !important; }
.color9 { background-color: #3F6 !important; }
.color10 { background-color: #3F9 !important; }
.color11 { background-color: #3FC !important; }
.color12 { background-color: #3FF !important; }
.color13 { background-color: #3CF !important; }
.color14 { background-color: #39F !important; }
.color15 { background-color: #36F !important; }
.color16 { background-color: #33F !important; }
.color17 { background-color: #63F !important; }
.color18 { background-color: #93F !important; }
.color19 { background-color: #C3F !important; }
.color20 { background-color: #F3F !important; }
.color21 { background-color: #F3C !important; }
.color22 { background-color: #F39 !important; }
.color23 { background-color: #F36 !important; }
.color24 { background-color: #F00 !important; }
.color25 { background-color: #F30 !important; }
.color26 { background-color: #F60 !important; }
.color27 { background-color: #F90 !important; }
.color28 { background-color: #FC0 !important; }
.color29 { background-color: #FF0 !important; }
.color30 { background-color: #CF0 !important; }
.color31 { background-color: #9F0 !important; }
.color32 { background-color: #6F0 !important; }
.color33 { background-color: #3F0 !important; }
.color34 { background-color: #0F0 !important; }
.color35 { background-color: #0F3 !important; }
.color36 { background-color: #0F6 !important; }
.color37 { background-color: #0F9 !important; }
.color38 { background-color: #0FC !important; }
.color39 { background-color: #0FF !important; }
.color40 { background-color: #0CF !important; }
.color41 { background-color: #09F !important; }
.color42 { background-color: #06F !important; }
.color43 { background-color: #03F !important; }
.color44 { background-color: #00F !important; }
.color45 { background-color: #30F !important; }
.color46 { background-color: #60F !important; }
.color47 { background-color: #90F !important; }
.color48 { background-color: #C0F !important; }
.color49 { background-color: #F0F !important; }
.color50 { background-color: #F0C !important; }
.color51 { background-color: #F09 !important; }
.color52 { background-color: #F06 !important; }
.color53 { background-color: #F03 !important; }
.color54 { background-color: #C00 !important; }
.color55 { background-color: #C30 !important; }
.color56 { background-color: #C60 !important; }
.color57 { background-color: #C90 !important; }
.color58 { background-color: #CC0 !important; }
.color59 { background-color: #9C0 !important; }
.color60 { background-color: #6C0 !important; }
.color61 { background-color: #3C0 !important; }
.color62 { background-color: #0C0 !important; }
.color63 { background-color: #0C3 !important; }
.color64 { background-color: #0C6 !important; }
.color65 { background-color: #0C9 !important; }
.color66 { background-color: #0CC !important; }
.color67 { background-color: #09C !important; }
.color68 { background-color: #06C !important; }
.color69 { background-color: #03C !important; }
.color70 { background-color: #00C !important; }
.color71 { background-color: #30C !important; }
.color72 { background-color: #60C !important; }
.color73 { background-color: #90C !important; }
.color74 { background-color: #C0C !important; }
.color75 { background-color: #C09 !important; }
.color76 { background-color: #C06 !important; }
.color77 { background-color: #C03 !important; }

